(IJCH) If a computer program was an electrical circuit, Lambda Calculus builds its transistors - (Here's Why and How)